infiniteList::int->metalist
infiniteList n = n:infiniteList (n+1)

take::int->metalist->metalist
take 0  x      =  []
take n  []     =  []
take n  (x:xs) =  x: (take (n-1) xs)

sum::metalist->int
sum []     = 0
sum (x:xs) = x + sum xs

maint::int
maint = sum (take 5 (infiniteList 0))
